Issue5079.agda:7,1-8,12
Cannot branch on erased argument of datatype Bool
when checking the definition of f
